Nuprl Definition : abs-interface
11,40
postcript
pdf
[[
X
]](
e
) == if in-interface(
es
;
X
;
e
) then interface-val(
es
;
X
;
e
) else inr
fi
latex
clarification:
abs-interface(
es
;
X
)(
e
) == if in-interface(
es
;
X
;
e
) then interface-val(
es
;
X
;
e
) else inr
fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
inr
x
,
FDL editor aliases
abs-interface
origin
fi
fi fi
fi 
x.A(x)